Fix some doc/misc cross-references to separate manuals.
authorGlenn Morris <rgm@gnu.org>
Sat, 22 Dec 2012 21:01:50 +0000 (13:01 -0800)
committerGlenn Morris <rgm@gnu.org>
Sat, 22 Dec 2012 21:01:50 +0000 (13:01 -0800)
commitbcf3884a9875392223457fd3c3c77067cc0c167d
treea2bd57c33106110b13055d35094018783705eafa
parent4ad500dff35684839b4d3aaa3581d6b52d9da91b
Fix some doc/misc cross-references to separate manuals.
doc/misc/ChangeLog
doc/misc/autotype.texi
doc/misc/bovine.texi
doc/misc/ede.texi
doc/misc/eieio.texi
doc/misc/pcl-cvs.texi